failure 73:
Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_real_scenario.utz (math_real_scenario.utt), line 3733 |
| occurence |
| scenario |
math_real_scenario |
| specification function |
lrint_spec() |
| parameter value |
CallContext context = [pid=14334,thr=b751c6c0] |
| parameter value |
Unifloat * @x = (float) Infinity |
| parameter value |
Unifloat * x = (float) Infinity |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(LongT) -2147483648 |
coverage
& branch |
C
x is infinity |
| properties |
| REQ failed |
lrintf.10.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The lrint() family of functions shall round their argument to the nearest integer value,
rounding according to the current rounding direction.
According to LSB, if argument is NaN, +Inf, -Inf, or the correct value is not representable as an
integer then the functions shall set EDOM error code.
But on the target machine, the functions set error code EOK instead of EDOM in these cases.
|
|